9.07/9.86	unsat
