51.77/51.94	unsat
