57.92/59.89	unsat
