57.43/59.37	unsat
