246.07/247.32	unsat
