22.28/26.38	unsat
