60.87/61.99	unsat
