49.78/51.83	unsat
