605.10/607.32	unsat
