26.86/28.37	unsat
