87.63/88.66	unsat
