22.14/24.48	unsat
