22.72/24.46	unsat
