246.66/247.01	unsat
