22.23/24.42	unsat
