21.74/24.86	unsat
