49.78/52.45	unsat
