51.91/52.03	unsat
