57.39/59.48	unsat
