22.26/24.38	unsat
