245.27/247.45	unsat
