26.95/28.69	unsat
