7.29/7.57	unsat
