22.53/24.62	unsat
