87.34/88.10	unsat
