49.67/49.83	unsat
