* @throws jmt.common.exception.SolverException if there were errors operation was not successful
*/
public void solve(File file) throws SolverException, InputDataException {
ExactModel model = new ExactModel();
try {
if (!model.loadDocument(xmlUtils.loadXML(file))) {
fail("Error loading model from tempfile", null);
}
} catch (SAXException e) {
fail("XML parse error in tempfile", e);
} catch (Exception e) {