22.78/26.40	unsat
