247.05/247.62	unsat
