89.88/93.86	unsat
