245.97/247.59	unsat
