26.49/26.58	unsat
