305.33/307.05	unsat
