87.46/92.00	unsat
