87.05/89.85	unsat
