9.31/10.86	unsat
