246.81/247.84	unsat
