61.90/88.95	unsat
