87.77/89.52	unsat
