611.32/612.11	unsat
