88.07/88.26	unsat
