7.41/7.73	unsat
