52.23/52.68	unsat
