58.32/60.11	unsat
