6.59/9.22	unsat
