48.91/52.07	unsat
