28.23/28.38	unsat
