6.51/7.04	unsat
