87.46/89.12	unsat
