86.22/90.63	unsat
