245.66/247.48	unsat
