26.78/26.85	unsat
