28.72/28.83	unsat
