22.26/24.27	unsat
