5.67/9.22	unsat
