9.53/10.22	unsat
