22.23/24.49	unsat
