245.39/247.70	unsat
