6.07/9.07	unsat
