86.48/86.78	unsat
