22.83/24.59	unsat
