243.25/247.43	unsat
