87.19/88.44	unsat
