243.13/246.69	unsat
