87.26/88.13	unsat
