87.84/88.51	unsat
