87.40/88.73	unsat
