58.80/60.05	unsat
