28.33/30.11	unsat
