7.18/7.73	unsat
