243.67/247.04	unsat
