51.29/51.40	unsat
