52.80/54.49	unsat
