61.99/102.74	unsat
