243.27/247.49	unsat
