87.25/88.79	unsat
