51.01/52.27	unsat
