52.34/54.37	unsat
