26.33/26.95	unsat
