6.64/7.22	unsat
