243.30/243.80	unsat
