86.38/86.63	unsat
