86.87/89.68	unsat
