240.76/245.73	unsat
