7.47/10.22	unsat
