48.54/52.27	unsat
