26.33/26.40	unsat
