87.14/88.38	unsat
