86.52/86.65	unsat
