6.06/7.29	unsat
