26.86/28.69	unsat
