86.67/89.97	unsat
