26.49/26.53	unsat
