6.06/9.07	unsat
