6.59/7.29	unsat
