28.72/30.10	unsat
