22.59/23.69	unsat
