28.33/30.19	unsat
