22.78/26.10	unsat
