57.94/59.17	unsat
