49.78/52.00	unsat
