50.78/54.13	unsat
