166.92/168.52	unsat
