51.77/51.85	unsat
