26.09/26.53	unsat
