707.30/712.94	unsat
