6.87/7.29	unsat
