242.58/243.70	unsat
