7.49/7.57	unsat
